#ifndef NOSTDLIB_H
#define NOSTDLIB_H

extern int do_printf(const char *fmt, ...);
extern int printf(const char *fmt, ...);
#endif